Alien Registration- Boutin, Leo Dudace E. (Lewiston, Androscoggin County)

https://digitalmaine.com/alien_docs/30643/thumbnail.jp

Coupling techniques for nonlinear hyperbolic equations. III. The well-balanced approximation of thick interfaces

We continue our analysis of the coupling between nonlinear hyperbolic problems across possibly resonant interfaces. In the first two parts of this series, we introduced a new framework for coupling problems which is based on the so-called thin interface model and uses an augmented formulation and an additional unknown for the interface location; this framework has the advantage of avoiding any explicit modeling of the interface structure. In the present paper, we pursue our investigation of the augmented formulation and we introduce a new coupling framework which is now based on the so-called thick interface model. For scalar nonlinear hyperbolic equations in one space variable, we observe that the Cauchy problem is well-posed. Then, our main achievement in the present paper is the design of a new well-balanced finite volume scheme which is adapted to the thick interface model, together with a proof of its convergence toward the unique entropy solution (for a broad class of nonlinear hyperbolic equations). Due to the presence of a possibly resonant interface, the standard technique based on a total variation estimate does not apply, and DiPerna's uniqueness theorem must be used. Following a method proposed by Coquel and LeFloch, our proof relies on discrete entropy inequalities for the coupling problem and an estimate of the discrete entropy dissipation in the proposed scheme.Comment: 21 page

Development of space stable thermal control coatings for use on large space vehicles

The evaluation and environmental testing of zinc orthotitanate pigments for use as space stable thermal control coatings on large space vehicles are discussed. Electron paramagnetic resonance spectra of the pigments and their precursor compounds are examined. A continuing study of the spectral intensity of mercury-argon and mercury-xenon sources in reported. Results of long term environmental testing of commercially available, strippable, protective coatings are discussed

Targeted electroporation of defined lateral ventricular walls: a novel and rapid method to study fate specification during postnatal forebrain neurogenesis

<p>Abstract</p> <p>Background</p> <p>Postnatal olfactory bulb (OB) neurogenesis involves the generation of granule and periglomerular cells by neural stem cells (NSCs) located in the walls of the lateral ventricle (LV). Recent studies show that NSCs located in different regions of the LV give rise to different types of OB neurons. However, the molecular mechanisms governing neuronal specification remain largely unknown and new methods to approach these questions are needed.</p> <p>Results</p> <p>In this study, we refine electroporation of the postnatal forebrain as a technique to perform precise and accurate delivery of transgenes to NSCs located in distinct walls of the LV in the mouse. Using this method, we confirm and expand previous studies showing that NSCs in distinct walls of the LV produce neurons that invade different layers of the OB. Fate mapping of the progeny of radial glial cells located in these distinct LV walls reveals their specification into defined subtypes of granule and periglomerular neurons.</p> <p>Conclusions</p> <p>Our results provide a baseline with which future studies aiming at investigating the role of factors in postnatal forebrain neuronal specification can be compared. Targeted electroporation of defined LV NSC populations will prove valuable to study the genetic factors involved in forebrain neuronal specification.</p

The Impact of Dielectric Constant Model and Surface Reference on Differences Between SMOS and Aquarius Sea Surface Salinity

Two ongoing space missions share the scientific objective of mapping the global Sea Surface Salinity (SSS), yet their observations show significant discrepancies. ESA's Soil Moisture and Ocean Salinity (SMOS) and NASA's Aquarius use L-band (1.4 GHz) radiometers to measure emission from the sea surface and retrieve SSS. Significant differences in SSS retrieved by both sensors are observed, with SMOS SSS being generally lower than Aquarius SSS, except for very cold waters where SMOS SSS is the highest overall. Figure 1 is an example of the difference between the SSS retrieved by SMOS and Aquarius averaged over one month and 1 degree in longitude and latitude. Differences are mostly between -1 psu and +1 psu (psu, practical salinity unit), with a significant regional and latitudinal dependence. We investigate the impact of the vicarious calibration and retrieval algorithm used by both mission on these differences

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16